Mot clef : Formal Learning