Vérification Statique de Programmes Répartis. (Static Verification of distributed programs)