nécessaire dérivation