formalization

Le dictionnaire n'est pas joignable pour le moment — réessayez dans une minute.