[#379] Document type
[#379] Document type
Merge branch 'risques' of https://github.com/A511701/prevarisc into risques