[redef. d'operateur] constante

Version imprimable