Device for receiving satellite radio-navigation signals to be disposed on a carrier of large wingspan comprising a plurality of receiving antennas forming an antenna array, for each antenna and for each satellite in view of the said device, means for demodulating the signals received (S 1 , S 2 ) comprising means for multiplication phase-synchronised with a local carrier , means for time-wise correlation with a local code , means for integration of the correlated signal in phase and in time, a carrier NCO numerical control operator able to deliver a local carrier phase for driving the generation of the local carrier and a code NCO numerical control operator able to deliver a time command for driving the generation of the local code and a measurement of the instant of emission by the satellite of the signal received (S 1 , S 2 ), characterized in that said device furthermore comprises, for each satellite, means for tracking synchronization of the carrier and of the code comprising: - beam forming means able to deliver, on the basis of the output signals Z 1 , Z 2 of the integration means , a unique formed signal Z equal to the sum of the said signals Z 1 , Z 2 weighted by complex weighting coefficients equal to the product of the gain G a , in amplitude and phase, of the associated antenna in the direction of the satellite, taking account of a possible masking of the satellite by the body of the carrier, with a complex corrective gain G BL of the lever arm between the phase centre of the antenna and the centre of symmetry O of the antenna array, - a code discriminator and a phase discriminator which are applied to the said formed signal Z, - a code loop corrector applied at the output of the code discriminator and able to deliver a speed correction as input for the code numerical control operators , - a carrier loop corrector applied at the output of the phase discriminator and able to deliver a speed correction as input for the carrier numerical control operators 223, 323), - means for calculating the average (T 1 ) of the said measurements of the instant of emission, by the satellite, of the signal received (S 1 , S 2 ). - beam forming means able to deliver, on the basis of the output signals Z 1 , Z 2 of the integration means , a unique formed signal Z equal to the sum of the said signals Z 1 , Z 2 weighted by complex weighting coefficients equal to the product of the gain G a , in amplitude and phase, of the associated antenna in the direction of the satellite, taking account of a possible masking of the satellite by the body of the carrier, with a complex corrective gain G BL of the lever arm between the phase centre of the antenna and the centre of symmetry O of the antenna array, - a code discriminator and a phase discriminator which are applied to the said formed signal Z, - a code loop corrector applied at the output of the code discriminator and able to deliver a speed correction as input for the code numerical control operators , - a carrier loop corrector applied at the output of the phase discriminator and able to deliver a speed correction as input for the carrier numerical control operators 223, 323), - means for calculating the average (T 1 ) of the said measurements of the instant of emission, by the satellite, of the signal received (S 1 , S 2 ). <EOS>