pendant du mat'eriel, fait abstraction du nombre de processus en jeu ou de la charge du r'eseau n'a pas de meilleures chances de succ`es que le responsable d'une flotte de camions qui ferait abstraction des p'eriodes d'affluence sur l'autoroute. Ses strat'egies pourront etre localement efficaces, les conditions moyennes du r'eseau lui seront d'efavorables tot ou tard. L'approche BSP ou Bulk-Synchronous Parallelism [14] a largement justifi'e la prise en compte des processus physiques et du r'eseau par les algorithmes. Ce paradigme pose les bases d'une v'eritable th'eorie scientifique qui relie th'eoriquement et empiriquement les algorithmes aux architectures parall`eles. Plutot que comme un pur objet logique, on y voit le programme parall`ele comme une repr'esentation des calculs qu'il engendre et aussi de leur consommation des ressources. La s'emantique du programme joue ainsi le role d'une th'eorie physique en miniature, servant `a pr'evoir non seulement son comporteme