Défini la notion de réel