Bonsoir, Les quelque chose-config vont en général de pair avec les -dev. apt-get install libguile-dev Ca devrait résoudre votre problème -- -Jean-Luc