Recherche:

Effectivement.



Je ne connais pas le chiffre exact. Mais c'était parfois très chiant à prouver oui ^_^ Certes c'est formateur de se rendre compte qu'une évidence humaine ne l'est pas pour un...

Petites remarques sur le B.

Concernant les obligations de preuve, on peut cependant « esquiver » le problème en B. Il existe des moyens d'écrire des axiomes.

Matra a été très content de son...