Según nuestro pluviómetro: 17mm, que acumulado a los 3mm de miércoles, hacen un total de 20mm.