Logiques pour la mémoire partagée faiblement cohérente