Where did Tony Hoare first listen to J.-R. Abrial?

 

  I've been looking for a while. I had read the interview of Tony Hoare by Jonathan Bowen: ""Hoare: Yes, it'd be a pleasure. I met Jean-Raymond Abrial at a summer school organized by Electricite de France in a lovely little village in France called Labrae sonnalp [sp]. I was very impressed by his research, and indeed his lecturing. He was a brilliant lecturer. I invited him to spend some research time at Oxford, and got a research grant for him from the Research Council." I looked for EDF holiday sites and summer camps (CCAS*, not Centre Communal d'Action Sociale!), in vain. And the EDF dams. Jonathan Bowen told me to consult Bernard Sufrin (whose J.-R. Abrial gives the name in his lecture at the Collège de France).

And here is Bernard's answer."La Bréole, perhaps. Just down the road from Grenoble. Bertrand Meyer
worked for EDF at the time, and was instrumental in getting many serious formal methods courses off the ground. I went, in the mid 1980s to give a course to EDF informaticians that BM. organised." 

Oh yes, of course! the Serre-Ponçon dam! which we visited and where I learned that soon upstream we would have a beautiful alluvial plain instead of the lake!"Which phonology specialist will tell me how Tony Hoare or Jonathan Bowen went from La Bréole to Labre? I have the same question for the passage of Arédius at Yrieix! I am an Aredian (born in Saint-Yrieix!). I'm also a cuou negre, un cul noir (en occitan limousin) , a black ass. But now it's easier. Our Aredian pigs have black asses!  * It's not just for electricians, it's also for gas workers! I remember the time when I was at the head of EDF as an intern and was interested in the calculation of "public" prices after having exchanged, as a little Pictave student, with Marcel Boiteux and Maurice Allais (I never went by train to Calais!).