Cet article a été modifié et mis à jour en février 2021 après un long moment d’indisponibilité. Nous espérons que les lecteurs le retrouveront avec plaisir ainsi que les excellents autres articles de David Crespil.