1^er novembre : calme jour férié. Quel est cet engin ?