Real Decreto-ley 5/1985, de 12 de diciembre, de adaptación del Monopolio de Petróleos ("Boletín Oficial del Estado" de 13 de diciembre)