Faits: Faits: A. A._ est né en Suisse en 1976 d'un père italien et d'une mère espagnole dont il a hérité les deux nationalités. Il a d'abord grandi en Espagne auprès de ses grands-parents maternels jusqu'à l'âge de huit ans, puis a rejoint ses parents en Suisse où il a effectué sa scolarité obligatoire aux côtés d'une soeur jumelle et d'un frère cadet né en 1983. A l'âge de 16 ans (1992), il a commencé un apprentissage de menuisier-ébéniste dans l'entreprise de son père; il a abandonné cette formation après deux ans, mais a néanmoins continué à travailler au service de son père comme manoeuvre pendant une année. Par la suite, il n'a pas occupé d'emploi stable, accomplissant diverses missions temporaires pour des agences de placement. A une date qui ne ressort pas précisément du dossier, il s'est brouillé avec ses parents et s'est trouvé coupé d'eux. Ceux-ci sont partis vivre en Espagne avec leurs deux autres enfants, tandis qu'il est resté en Suisse. Selon les inscriptions figurant à son casier judiciaire, A._ a subi les condamnations suivantes en Suisse: - six mois d'emprisonnement avec sursis pendant deux ans et 800 fr. d'amende, sous déduction de 40 jours de détention préventive, pour filouterie d'auberge, violation des règles de la circulation routière, vol d'usage, circulation sans permis de conduire, usage abusif de permis et de plaques et contravention à l'ordonnance sur la circulation routière (jugement du 7 mars 2000 du Tribunal de district de Sion); - trois mois d'emprisonnement à titre de peine complémentaire à celle prononcée ci-avant, pour dénonciation calomnieuse, violation des règles de la circulation routière, violation grave des règles de la circulation routière, vol d'usage, circulation sans permis de circulation ou plaques de contrôle, usage abusif de permis et de plaques et contravention à la loi fédérale sur les stupéfiants (prononcé du 11 octobre 2000 du Juge d'instruction de Lausanne); - sept ans et trois mois de réclusion, sous déduction de 850 jours de détention préventive, peine partiellement complémentaire à celles prononcées ci-avant, pour lésions corporelles simples, dommages à la propriété, injures, menaces, contrainte, violation de domicile, vol d'usage et infraction grave à la loi fédérale sur les stupéfiants (jugement du 6 mai 2004 du Tribunal correctionnel de l'arrondissement de Lausanne; le recours formé contre ce jugement a été rejeté par la Cour de cassation pénale du canton de Vaud le 7 octobre 2004). Pendant sa détention, qui a débuté pour les faits les plus graves le 5 février 2002 par une arrestation et un placement en régime préventif, A._ a été déclaré interdit d'entrée en Suisse pour une durée indéterminée (décision de l'Office fédéral des migrations du 2 mai 2005). Le 15 janvier 2007, la Commission de libération du canton de Vaud l'a mis au bénéfice d'une libération conditionnelle à partir du 31 janvier 2007 "pour autant qu'il quitte la Suisse à sa sortie de prison", conformément à une déclaration qu'il avait signée environ une année plus tôt (le 6 février 2006). Il est parti à destination de Porto le jour même de sa mise en liberté conditionnelle, en compagnie de B._, une ressortissante suisse enceinte de ses oeuvres qu'il avait rencontrée durant sa détention. Dès le 27 février 2007, il a requis des autorités suisses compétentes la délivrance d'une autorisation d'entrée et de séjour, en faisant notamment valoir que sa compagne nécessitait un suivi médical en Suisse en raison de sa grossesse et de problèmes de santé (crises d'épilepsie). Le 28 mars 2007, il est rentré en Suisse avec son amie sans avoir obtenu d'autorisation. Par décision du 30 mars 2007, le Service de la population du canton de Vaud (ci-après: le Service cantonal) a refusé d'accorder une autorisation de séjour CE/AELE à A._, au vu notamment de ses antécédents judiciaires. Par décision du 30 mars 2007, le Service de la population du canton de Vaud (ci-après: le Service cantonal) a refusé d'accorder une autorisation de séjour CE/AELE à A._, au vu notamment de ses antécédents judiciaires. B. A._ et sa compagne, représentés par la mère de cette dernière, ont recouru contre la décision précitée du Service cantonal. Par arrêt du 25 juillet 2007, le Tribunal administratif du canton de Vaud (ci-après: le Tribunal administratif) a rejeté le recours, en estimant que la situation de A._ justifiait de prononcer à son encontre une mesure d'ordre public au sens de l'art. 5 annexe I de l'Accord du 21 juin 1999 entre la Confédération suisse, d'une part, et la Communauté européenne et ses Etats membres, d'autre part, sur la libre circulation des personnes (ci-après: Accord sur la libre circulation des personnes, ALCP; RS 0.142.112.681). Par arrêt du 25 juillet 2007, le Tribunal administratif du canton de Vaud (ci-après: le Tribunal administratif) a rejeté le recours, en estimant que la situation de A._ justifiait de prononcer à son encontre une mesure d'ordre public au sens de l'art. 5 annexe I de l'Accord du 21 juin 1999 entre la Confédération suisse, d'une part, et la Communauté européenne et ses Etats membres, d'autre part, sur la libre circulation des personnes (ci-après: Accord sur la libre circulation des personnes, ALCP; RS 0.142.112.681). C. A._ et sa compagne, toujours représentés par la mère de cette dernière, forment un "recours de droit administratif" contre l'arrêt précité du Tribunal administratif dont ils requièrent l'annulation, en concluant à l'octroi d'une autorisation de séjour en Suisse. Ils demandent d'être dispensés des frais de justice au titre de l'assistance judiciaire. Le Service cantonal et le Tribunal administratif ont renoncé à se déterminer sur le recours, tandis que l'Office fédéral des migrations conclut à son rejet. Par ordonnance du 22 août 2007, le Président de la IIe Cour de droit public a admis la demande d'effet suspensif présentée par les recourants. 