Bonjour,
j'ai résolu mon pb en le court-circuitant. Le serveur de licence ne fonctionne plus car il ne démarre pas, car le hostid de la machine a changé. Pour être très exacte, il démarre et s'arrête aussitôt car il y incompatibilité avec le n° de hostid. j'ai essayé de recréer un nouveau fichier de licence mais cela n'a toujours pas résolu le problème (serveur de licence démarrant et s'arrêtant aussitôt).
J'ai résolu le pb en utilisant un petit programme permettant de changer (par soft) le n° du hostid. J'exécute donc ce programme au chargement, juste avant de lancer le serveur de licence.
C'est une solution bâtarde. Si vous en avez une meilleure, je suis intéressé.