Bonjour Geneste,
Avez vous soumis vos hypothèses à la méthode de démonstration formelle ?
pouf pouf.