dérivation formelle