6C7-Exercices en ligne

I.Choisir la bonne propriété:

II.Compléter une démonstration:

III.Coder et démontrer :