Fin d'implémentation de la compilation de la sélection