hallelujah by asterix