20 : 30 ; d:o på Paris 80 : 40 ; d:o påAmsterdam