Industrial Used of Formal Method by Jean-louis Boulanger