French town Pantin Changes Name To Pantine