Salut, je ne sais pas quel niveau tu as ni en quel classe tu es, mais simplement le fait d'énoncer proprement les hypothèses d'un théorème, exprimer à l'aide de quantificateurs les domaines de validités des formules que tu énonces par exemple, c'est déjà pas mal