Je serai au premier Meetup #Coq à Paris le 4 juillet (si tout va bien)
https://www.meetup.com/Coq-Users-in-PariS/events/251951527/