A..Diagne, F..Kordon A Multi Formalisms Prototyping Approach from Formal Description to Implementation of Distributed Systems Cet article présente une méthodologie pour la modelisation et de prototypage de systèmes répartis considérant à la fois les as­ pects conceptuels et opérationnels. Au niveau conceptuel, nous insistons sur la définition et la vérification des propriétés at­ tendues du système. Au niveau opérationnel, nous insistons sur les propriétés permettant d'optimiser le code généré à partir du modèle initial. La traçabilité entre les deux niveaux et main­ tenue de manière semi-automatique; elle permet d'écarter les in­ formations contenues dans le modèle mais qui sont inutiles pour la génération de code. Les propriétés du modèle conceptuel sont préservées durant la transformation. This paper proposes a methodology to build safe distributed sys­ tems that considers both conceptual and operational description aspects. At the conceptual level, we focus on the safety proper­ ties expected from the system. Such properties are stated and then verified. At the operational level, we focus on properties addressing the optimization of the generated code. Traceability between the two levels is managed in a satisfactory semi- automatic way. It preserves the properties proved at the first level and discards informations that are not relevant for code generation.