17 octobre, nous fêtons les Baudoin.