Ceci étant, même Coq a une notion d'évidence avec la tactique trivial
arf, trivial : le mot préféré de nos colleurs et de mon prof de Maths de Spé à la BJ :D (dans certains cas c'était vrai, dans d'autres moins... je pense que parfois il ne voulait pas que le cours dure trop longtemps :p).
[^] # Re: l'assignation ne va jamais venir
Posté par BAud (site web personnel) . En réponse à la dépêche Seconde mise en demeure pour l'association LinuxFr. Évalué à 3.
arf, trivial : le mot préféré de nos colleurs et de mon prof de Maths de Spé à la BJ :D (dans certains cas c'était vrai, dans d'autres moins... je pense que parfois il ne voulait pas que le cours dure trop longtemps :p).