Oui, bien sûr, je suis certain qu'il est bien présent sur les 2 serveurs.
Mais j'ai une idée pourquoi il ne le trouve que sur 1 serveur...
Le module stat doit faire un md5sum du fichier /usr/bin/mysql et à mon avis les fichiers ont peut-être le même nom mais sont probablement différents entre les serveurs (Debian 9 et Debian 10)
Je vais tester demain.
Je vous tiens au courant...
Merci