Dear Erik,
Thanks for your reply.
I found out later yesterday that this could be the original problem.
What I’m afraid of is that if I don’t make one domain the main one, Google will scan and index all URLs and I would like to avoid the dev domain to be indexed for SEO reasons…
Cheers from Paris