Résoudre des problèmes de géométrie plane, prouver un résultat général, valider ou réfuter une conjecture