C'était en effet nécessaire et cela me semble un bon bizutage. Une bonne entrée en matière, si vous préférez.
P.S. (du 16 janvier 2026 à 3 heures 40) : Francis m'a signalé hier que le débroussailleur ne fonctionne plus. Il est ensuite allé chez le réparateur où il lui a été dit qu'il convient d'en changer. Coût de l'ordre de 1 000 €, ce qui fait cher pour une journée de travail.
Et le fait est que le nouvel employé à l'essai n'est pas réapparu hier...