Ajout du plan pour Büchi