difformalisation