svp est ce qu il ya quelqu qui peut m aider
montrer que l'enonce est valide :
tout mamifere est un animal
tout chien est un mamifére
donc tout chien est un animal
utiliser les régles de hoare