LƒP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis