Une nouvelle petite fonctionnalité sur le blog : un moteur de recherche accessible depuis le menu de gauche, afin de retrouver des posts anciens plus facilement que par les archives mensuelles.