définition équationnelle