Faits: Faits: A. La société anonyme B._ exploite sur le territoire de la commune de Savigny un important gisement de matériaux graveleux. La première étape de cette exploitation a été autorisée sous l'empire de la loi cantonale vaudoise du 21 novembre 1967 sur les carrières, en vigueur jusqu'au 31 mars 1990 (ancienne loi sur les carrières - aLCar), le Département des travaux publics, de l'aménagement et des transports ayant délivré à la société B._ le 1er mars 1989 un premier permis de gravière (gravière dite du Pétozan, du nom du ruisseau qui traverse le site). Le 19 mai 1989, le département cantonal précité a octroyé à la société B._ un permis complémentaire pour "exploiter les installations de traitement sur la surface partielle des parcelles nos 238, 240 et 980", dans le périmètre de la gravière du Pétozan, installations servant au concassage, au criblage et au lavage des graviers; la décision prévoyait une remise en état des lieux après la dernière étape d'exploitation. Ces installations de traitement ont été en définitive aménagées sur la seule parcelle n° 238, propriété de la société B._. Les autres installations fixes de l'exploitante - un hangar atelier, des bureaux, un concasseur de matériaux de recyclage et une centrale à béton - sont situées sur la parcelle n° 235, au lieu-dit "Geffry", entre la gravière du Pétozan et le hameau de la Claie-aux-Moines. Auparavant, le 15 décembre 1987, l'Office fédéral des forêts et de la protection du paysage (compétent à l'époque pour l'octroi de certaines autorisations de défricher) avait permis à la société B._ de déboiser les rives du ruisseau du Pétozan sur une longueur de 450 m environ, en relation avec l'exploitation de la gravière du Pétozan. Cette décision imposait un reboisement de compensation "sous forme de rives boisées pour le ruisseau du Pétozan qui devra être reconstitué, dans toute la mesure du possible sur son tracé initial, et dans tous les cas dans un lit naturel". Il était prévu que le reboisement soit réalisé avant la fin de l'année 2002. Auparavant, le 15 décembre 1987, l'Office fédéral des forêts et de la protection du paysage (compétent à l'époque pour l'octroi de certaines autorisations de défricher) avait permis à la société B._ de déboiser les rives du ruisseau du Pétozan sur une longueur de 450 m environ, en relation avec l'exploitation de la gravière du Pétozan. Cette décision imposait un reboisement de compensation "sous forme de rives boisées pour le ruisseau du Pétozan qui devra être reconstitué, dans toute la mesure du possible sur son tracé initial, et dans tous les cas dans un lit naturel". Il était prévu que le reboisement soit réalisé avant la fin de l'année 2002. B. La société B._ a déposé le 13 novembre 1997 auprès du Département cantonal des travaux publics, de l'aménagement et des transports une demande tendant à l'adoption d'un plan d'extraction et à l'octroi simultané d'un permis d'exploiter pour la gravière "Les Gavardes", constituant une extension de la gravière du Pétozan en direction du sud-est, dans l'axe du sillon graveleux existant à cet endroit. Ce gisement est répertorié dans le plan directeur cantonal des carrières (PDCar) sous le numéro 1243-001. Le volume exploitable est estimé à 1'560'000 m3 et le rythme d'exploitation prévu est de 90'000 m3 par an (même rythme que pour la gravière de Pétozan). Le dossier contient un "mémoire technique et rapport d'impact", rédigé par le bureau Impact-Concept S.A. Ce rapport indique notamment que selon les prévisions à ce moment-là, l'exploitation de la gravière du Pétozan serait terminée en 2001, et que les limites proposées pour la gravière des Gavardes prennent en compte le solde des matériaux exploitables dans le gisement (p. 1). Il précise par ailleurs que les matériaux seront traités dans les installations actuelles (concassage, lavage, triage) et que le réaménagement du site se fera par comblement avec des matériaux terreux et pierreux sains (p. 2). Le projet de plan d'extraction (à l'échelle 1:2'000) figure plusieurs périmètres, notamment le périmètre du site n° 1243-001 du plan directeur des carrières, le "périmètre d'exploitation antérieur Claie-aux-Moines et en cours Pétozan", le "périmètre du plan d'extraction" et le "périmètre de la demande de permis d'exploiter simultanée au plan d'extraction". La parcelle n° 238, où se trouve actuellement déjà l'unité de traitement, est incluse dans le "périmètre du plan d'extraction" (liseré jaune). A l'intérieur de ce périmètre, le plan indique en outre l'emplacement d'une piste d'accès et d'une bande transporteuse (tapis roulant), menant du fond de la gravière à l'unité de traitement. Là où ces piste et bande franchissent le ruisseau du Pétozan, le plan d'extraction prévoit une interruption du boisement de la rive, sur une longueur d'environ 14 m. Le rapport d'impact comprend un chapitre "trafic" (p. 45 ss), un chapitre "bruit" (p. 49 ss - bruit provenant de l'exploitation et bruit le long des voies de communication) et un "plan de circulation" (annexe n° 178-6.2), donnant des indications sur les itinéraires empruntés par les poids-lourds et sur l'importance du trafic issu de la gravière. En l'état, le périmètre du plan d'extraction est classé dans la zone agricole de la commune de Savigny. En l'état, le périmètre du plan d'extraction est classé dans la zone agricole de la commune de Savigny. C. Le projet relatif à la gravière des Gavardes a été mis à l'enquête publique du 27 février au 30 mars 1998. L'Association A._ et consorts ont formé opposition. L'Association, constituée le 2 mars 1998, a pour but de défendre les intérêts généraux du quartier des Méguettes, ensemble de villas situé à l'est du périmètre du plan d'extraction. Selon le projet mis à l'enquête publique, l'extrémité du "périmètre de la demande de permis d'exploiter" - un peu en retrait du périmètre du plan d'extraction proprement dit, un talus devant être réalisé dans l'intervalle - se trouve à 75 m de la villa la plus proche. Les particuliers précités, consorts de l'Association, font partie des propriétaires fonciers de ce quartier. Le 30 mars 1999, le Département cantonal de la sécurité et de l'environnement (DSE) a rendu une "décision finale relative à l'étude de l'impact sur l'environnement" et il a adopté le plan d'extraction en fixant différentes conditions d'exploitation; il a dit en outre que les permis d'exploiter seraient délivrés, par étapes successives, une fois remplies les conditions prévues à l'art. 17 de la nouvelle loi cantonale sur les carrières, du 24 mai 1988 (LCar; RSV 931.15). Néanmoins, l'opposition de l'Association et consorts a été partiellement admise et deux modifications ponctuelles du projet ont été décidées: d'une part la distance minimum entre la limite est du périmètre d'exploitation et les bâtiments les plus proches du quartier des Méguettes a été portée à 100 m, au lieu de 75 m; d'autre part, dans un secteur A de protection des eaux, l'épaisseur de la couche protectrice au-dessus de la nappe phréatique a été augmentée. Le 30 mars 1999, le Département cantonal de la sécurité et de l'environnement (DSE) a rendu une "décision finale relative à l'étude de l'impact sur l'environnement" et il a adopté le plan d'extraction en fixant différentes conditions d'exploitation; il a dit en outre que les permis d'exploiter seraient délivrés, par étapes successives, une fois remplies les conditions prévues à l'art. 17 de la nouvelle loi cantonale sur les carrières, du 24 mai 1988 (LCar; RSV 931.15). Néanmoins, l'opposition de l'Association et consorts a été partiellement admise et deux modifications ponctuelles du projet ont été décidées: d'une part la distance minimum entre la limite est du périmètre d'exploitation et les bâtiments les plus proches du quartier des Méguettes a été portée à 100 m, au lieu de 75 m; d'autre part, dans un secteur A de protection des eaux, l'épaisseur de la couche protectrice au-dessus de la nappe phréatique a été augmentée. D. L'Association et consorts ont recouru contre cette décision auprès du Département cantonal des institutions et des relations extérieures (DIRE). Dans le cadre de l'instruction, cette autorité a requis de la société B._ le dépôt d'un plan complémentaire des circulations (document établi en mars 2000). Deux rapports d'expertise complémentaires sur la stabilité des sols, en fonction des conditions géotechniques et hydrologiques dans le périmètre du plan d'extraction, ont également été déposés en 2000. Le DIRE a rejeté le recours de l'Association et consorts par une décision rendue le 20 novembre 2001. Un recours formé par un autre voisin (C._), joint à cette cause, a également été rejeté. La décision attaquée du 30 mars 1999 a toutefois été réformée et le plan d'extraction a été complété par différentes "dispositions réglementaires", notamment l'obligation pour l'exploitant d'adresser régulièrement au service cantonal spécialisé des rapports écrits de contrôle des niveaux sonores et des retombées de poussières. Le DIRE a rejeté le recours de l'Association et consorts par une décision rendue le 20 novembre 2001. Un recours formé par un autre voisin (C._), joint à cette cause, a également été rejeté. La décision attaquée du 30 mars 1999 a toutefois été réformée et le plan d'extraction a été complété par différentes "dispositions réglementaires", notamment l'obligation pour l'exploitant d'adresser régulièrement au service cantonal spécialisé des rapports écrits de contrôle des niveaux sonores et des retombées de poussières. E. L'Association et consorts ont recouru contre la décision du DIRE auprès du Tribunal administratif du canton de Vaud. C._ a également recouru. Les deux causes ont été jointes. A la requête du juge instructeur du Tribunal administratif, la société B._ a produit un rapport du bureau Impact-Concept daté du 30 octobre 2003, intitulé "Etude complémentaire au rapport d'impact du 13 novembre 1997 - nuisances sonores liées à l'exploitation - maison Boss, parcelle n° 222". Pendant l'instruction, le Service cantonal des forêts, de la faune et de la nature, rattaché au Département de la sécurité et de l'environnement (DSE), a rendu deux décisions: l'une le 15 août 2003 et l'autre le 24 septembre 2004, qui toutes deux modifient l'autorisation de défricher délivrée à la société B._ le 15 décembre 1987. La seconde décision "proroge le terme de la reconstitution du cordon boisé du Pétozan à l'emplacement de la piste d'accès à l'actuelle gravière du Pétozan (...) au 31 décembre 2010". Le service cantonal a précisé que lors de l'examen préalable du plan d'extraction, il avait implicitement admis à cet endroit (tronçon de 14 m) le report du reboisement compte tenu de la nécessité de maintenir le passage pour l'exploitation de la future gravière. L'Association et consorts ont recouru contre la décision du 24 septembre 2004. Ce recours a été joint aux causes pendantes. Le Tribunal administratif a rejeté tous les recours par un arrêt rendu le 3 mars 2005. Les griefs de l'Association et consorts contre le plan d'extraction et contre la décision prolongeant le délai de reboisement ont été déclarés infondés. Le Tribunal administratif a rejeté tous les recours par un arrêt rendu le 3 mars 2005. Les griefs de l'Association et consorts contre le plan d'extraction et contre la décision prolongeant le délai de reboisement ont été déclarés infondés. F. L'Association et consorts ont déposé un recours de droit administratif et un recours de droit public contre l'arrêt du Tribunal administratif. F.a Par la voie du recours de droit administratif (cause 1A.102/2005), ils demandent au Tribunal fédéral d'annuler l'arrêt attaqué et d'ordonner une nouvelle enquête publique, subsidiairement de renvoyer l'affaire à l'autorité de première instance pour nouvelle décision dans le sens des considérants. Ils présentent différents griefs au sujet notamment de l'étude de l'impact sur l'environnement, de la prolongation du délai de reboisement des rives du ruisseau du Pétozan, du maintien des installations de traitement de l'ancienne gravière, et de la distance séparant la limite de la gravière de leurs terrains. La société B._ ainsi que le Département de la sécurité et de l'environnement concluent au rejet du recours. L'Office fédéral de l'environnement (OFEV - auparavant: OFEFP) a déposé des observations. Le Tribunal administratif a renoncé à se déterminer. F.b Par la voie du recours de droit public (cause 1P.250/2005), l'Association et consorts demandent au Tribunal fédéral d'annuler l'arrêt du Tribunal administratif. Ils critiquent certaines modalités d'exploitation par étapes de la gravière des Gavardes en dénonçant une violation de la législation cantonale. La société B._ ainsi que le Département de la sécurité et de l'environnement concluent au rejet du recours, dans la mesure où il est recevable. Le Tribunal administratif a renoncé à se déterminer. La société B._ ainsi que le Département de la sécurité et de l'environnement concluent au rejet du recours, dans la mesure où il est recevable. Le Tribunal administratif a renoncé à se déterminer. G. Par une ordonnance du 30 mai 2005, le Président de la Ire Cour de droit public a admis la requête d'effet suspensif présentée par les recourants. 