Y si ya estás 5 días de vacaciones, entonces esa semana se descuentan 45 horas en lugar de 37,5, según lo que comentas, me parece raro, pero ojala beneficie a todos los que les han pillado las "interpretaciones"