Méthodologie

Tout le monde peut proposer une modification au document, en passant par une pull request Github. Tout le monde peut signaler un problème en utilisant les issues Github. Les deux procédures sont disponibles sur chaque page, à droite.