Ajout prémisse de l'ex 6

Ne fonctionne pas en l’état!
//