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 (200, 300) the signals received (S 1, S 2) comprising means for multiplication (201, 301) phase-synchronised with a local carrier (211, 311), means for time-wise correlation (202, 302) with a local code (212, 312), means for integration (203, 303) of the correlated signal in phase and in time, a carrier NCO numerical control operator (223, 323) able to deliver a local carrier phase for driving the generation of the local carrier (211, 311) and a code NCO numerical control operator (222, 322) able to deliver a time command for driving the generation of the local code (212, 312) and a measurement (204, 304) 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 (203, 303), 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 (222, 322), - 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 (204, 304) 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 (203, 303), 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 (222, 322), - 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 (204, 304) of the instant of emission, by the satellite, of the signal received (S 1, S 2).