√2 est-il un nombre ?