correction ANY, ALL et NOT EXISTS