URL:  https://wwwfr.uni.lu/snt/distinguished_lectures/the_computational_way_to_argue_november_9_2010 Date:  dimanche 20 septembre 2020 04:15:12