Mise à jour du 2022-10-10 : Six ans presque jour pour jour après la publication de ce billet, nous fermons les commentaires. Ce billet indique en effet comment trouver de l’aide : dans la...