Validation et mise en œuvre de la synchronisation dans un système multiprocesseur à mémoire dupliquée. — Guy Latapie