Conception et vérification d'un service d'appel de procédure à distance dans les réseaux hétérogènes — Pierre Mondain-Monval