Vers une démarche de vérification formelle d’architectures logicielles: Architectures logicielles (Omn.Univ.Europ.)