Spécification et simulation d'une architecture multiprocesseur PROLOG — Catherine Simon