Corrigé problème d'installation des man pages dans /share/man au lieu de /usr/share/man