Récepteur de navigation reconfigurable pour applications spatiales. (Reconfigurable navigation receiver for space applications)