$NOT

Le premier objectif est 0,01105