Stratégie d'intégration de la méthode B dans la construction de logiciel critique — Souâd Taouil-Traverson