Point d'Ironie, depuis 1991 le nom d'un superbe Star en RedCedar et Pitchpin, mais surtout un signe de ponctuation inventé au XIX par Alcanter de Brahm voir wikipedia,http://fr.wikipedia.org/wiki/Point_d'ironie
