Les praticiens de la méthode de spécification formelle B doivent prier Sainte Preuve/Practitioners of the formal specification method B must pray to Holy Proof

 https://fr.wikipedia.org/wiki/Preuve_de_Laon

" Preuve of Laon arrived in Gaul at the time of the migration of the "Scots," a people of adventurers from Ireland or Scotland to the continent. It seems that Preuve was originally from Caledonia (Scotland). Perhaps baptized by Saint Patrick (390-461), apostle of Ireland, she belonged to the first Christian community because her parents were still idolaters.

She fled them with her companion Grimonie to find refuge for her faith in the province of Gaul Belgica. Found by her parents' emissaries, she suffered martyrdom and was beheaded in the Val de Tausson, at the foot of the Abbey of Saint-Vincent near Laon. "

Dominique Cansell vient d'enrichir ce blog en m'envoyant cette photo.

 Une commune se nomme Sainte Preuve

https://fr.wikipedia.org/wiki/Sainte-Preuve 

Mais où est donc ce vitrail ?

A Liesse-Notre Dame ! 

https://www.liessenotredame.fr/commune 

C'est toujours joyeux de faire des preuves !

It's always a thrill (jubilatory) to prove specifications!

"liesse" c'est aussi "jubilation", en français et en anglais. 

"liese" is also "jubilation", in French and in English. 

https://www.notredamedeliesse.fr/histoire-et-culture/la-basilique/les-vitraux/ 

•  Vous pouvez aussi prier Saint Taxerror ! 
• You can also pray to Saint Taxerror!