formalisatifoleur