Le Modèle Mémoire Java traditionnel (JMM) recouvre une grande partie des garanties de la sémantique du langage Java. Dans cet article, nous allons mettre en exergue quelques-unes de ces ...