la consultation du manuel de "patch" est impossible (pas d'entrée man ..) et la frappe directe de "patch" me répnd pas d'entrée "patch". ceci sur une installation standard de 7.1. quelqu'un sait il pourquoi le bash est incomplet ? et comment le compléter ?
