No preference between the two versions as such:

1.
name=Parc Pierre Paulus - Pierre Pauluspark
+ official_name=Parc Baron Pierre Paulus - Baron Pierre Pauluspark

2.
name=Parc Baron Pierre Paulus - Baron Pierre Pauluspark
+ short_name=Parc Pierre Paulus - Pierre Pauluspark

Option 1 makes the map easier to read and with a more logical name.  Option 2 better reflects that names should match what is posted on the ground.