I officiella kretsar i Madrid omtalas,