caserne Riberpray

Anciennes appellations : Pioner-Kaserne, Mudra-Kaserne