They are included.
Pic de Finiels is the top of Mont Lozère, 1699 is the data I got (instead of 1702 m). Mont Aigoual is included in the Lozère region.
I will try to improve this page with picture !
Have you read this book ?
I have been in the region but a very long time ago, as I was a kid. Otherwise I have walked extensively the Auvergne region (see my Cantal album).
Yes, the climate is quite different than what we can get in other mountains of France...
Nowadays the way of Stevenson has become an official long distance trail named the GR70