Ce blog est au point mort, faute de temps. Je laisse l'ancien contenu, mais il y a peu de chance de nouvelles publications à moyen terme.