La vie musicale en République démocratique allemande — Philippe Olivier