Un système de caches actualisants et réentrants, avec son compilateur associé - commentaires