Mise sous forme canonique "avec les formules"