[Extension of health coverage in Costa Rica].