S9 LSE Modèles et Langages pour le parallélisme