En plein debugage de l'utilisation des formules pour les ensembles admissibles et extensions stables