hélas je suis un peu perdu : tout s’est bien passé (Votre explication est TOP !) mais il y a eu des messages d’erreur (j’avais supprimé toutes les dépendances de DEBIAN/control mais il semblait toujours les connaitre)
malgré tout avec la commande :
aptitude ~i|grep php-cas
j’obtiens :
BB php-cas - Central Authentication Service client library in php
tandis que
apt list|grep php-cas
me donne
php-cas/stable,now 1.3.3-4 all [installé]
Enfin
Mon installeur de GLPI détecte bien php-cas lui aussi.