Bonjour, j'ai mis sur http://www.teaser.fr/~pbatailler/inst/manuel/index.html une version du manuel avec des couleurs pour remplacer la police courrier de certains éléments. Je me demandais si je pouvais proposer ça à debian-boot ? a+ -- Philippe Batailler