añadido menu preferencias a PMUL/Buscaminas