You're raising some important points. I wonder if the actual venue for the 5/16/72 Radio Luxembourg broadcast is this one: http://www.andreas-praefcke.de/carthalia/europe/l_luxembourg_theatre.htm which would be "Théâtre municipal".
Didn't the 5/13/72 take place in front of the Lille opera house (l'opéra de Lille, bien sûr) ? Or was that one cancelled ? Hanno