"formalisation" . . "formalisation" . .