Utilisations industrielles des techniques formelles: Interprétation abstraite - Jean-Louis Boulanger