Encore un tour de Robert-le-Diable (Le Mont-Dore, octobre 2023)