Expression de la synchronisation dans un module contrôlé par priorité — Jean-Paul Bahsoun