https://123dok.net/document/zlgl283r-contributions-analyse-formelle-diagnostic-partir-réseaux-colorés-accessibilité.html