Glossaire: on ne mémorise pas les sous-définitions, de sorte que la
prochaine fois, celle-ci ressorte avec ses propres définitions.