Mandorlati o ricci del Gattopardo