opération sur les réels