Alguien me podría indicar que texto legal especifica que la paga extra de Navidad, el derecho a percibirla empieza el día 1 de junio?