Thanks Michael !
I copy-pasted the text in my "motivating texts book".

Patrick