@ Gilles,

Ce n’est plus de l’ironie, c’est carrément du sarcasme...