Hi @maugueret ,
Thanks for raising this to us, here is an article that you may find helpful about porting and SIM activation procedure. Please see the link below.
Let us know how it will go.
The instruction are not clear in relaiton to porting a mobile phone number. We recieved the TPG sim card