“La idea que se baraja implicaría que todos los empleados públicos de los colectivos ahora cubiertos por el mutualismo podrán elegir, de una vez y para siempre, estar en el régimen común [con sanidad pública] o en el régimen especial [con sanidad privada]”