C'est bon, j'ai trouvé ... En fait c’était un problème dans mon bash qui utilisait par defaut une ancienne version de puppet (la 3.8.5) que j'avais installé via : apt-get install puppet. J'ai donc supprimé cette version, installé le package puppet-agent, et renseigné le chemin du nouveau client puppet dans le fichier .bashrc (car il ne le trouve pas tout seul). Maintenant j'ai bien mon client Puppet en version 4.9.4 .
Merci pour votre aide PB résolu !