$MMT semble être de mauvaise humeur. Voyons comment cela va se terminer.