Quel numéro NIF est attribué à l'entreprise SOCIETE D'ETUDE ET REALISATION TECHNIQUE ET COMMERCIALE (Sertec) ?