En el caso de los funcionarios públicos o funcionarias públicas se establecerá el doble de la pena.