Pousser à l’énoncé ouvert