The querelle des clés : an episode in Francisco Frontera de Valldemosa's exuberant life