demotron

NOTION : démonstration sur les quadrilatères

OBJECTIF : créer des combinaisons représentant des enchaînements déductifs