9 octobre – Fête de saint Denis