Comment convertir dès le 1er juillet mon pass sanitaire français en pass sanitaire européen?