[Joky]

Thanks for the link, that was very interesting to read! I didn't know Algol (I knew the name and how "historical" it is but not the details).