Quelques petits signes de l’automne.