"Otherwise I will do close that note at beginning of January" : ok for me, no need to change the postal boundary based solely on entrances of "Lycée" and https://www.lille.fr/Lille-Moulins/Decouvrir-le-quartier/Sport/Complexe-Sportif-Universitaire-Jose-Savoye. On the other hand https://staps.univ-lille.fr/ (https://www.openstreetmap.org/way/110752885) is correctly inside the Rochin's post code. If the relation should be changed, an official geographic data is needed.