1 mai, nous fêtons la Jérémie.