Kleene fonctionne !
Synchronisation marche sur un exemple simple même pour les opérations synchronisées