CMS2-Benéfi-M004-La formalisation