entusiasm ryckte konungen af Portugal lös en diamantnål från sin halsduk och kastade den ned till toreadoren Mazzantini.