Bon, j'ai résolu le pb à la sauvage, i.e: * extraction des fichiers du package install-info à la main * copie des fichiers vers les répertoires cibles * ré-installation de install-info via apt-get J'ai également du repositionner le sticky-bit sur /tmp Etrange...