Mais allons droit au but : combien dépensons-nous, les Espagnols, pour la Lotería de Navidad ?