Modifications en fonction des conseils d'Isabelle