Title: Spécification formelle avec B