TexteLes manuels actuels sont adéquats. Inutile de consacrer plus d'efforts à une nouvelle compilation.