(quelle idée d'utiliser un symbole qui veut dire autre chose...)