Développement formel par composants Assemblage et vérification à l'aide de B.