Suppression de l'ancienne documentation, qui fût déplacée lors du dernier commit