XVIII INTRODUCTION

Il y a dans l'Ancien Testament des types bibliques qui se rapportent à la morale, aux dogmes, aux choses supérieures et divines en général; mais nous n'avons ici en vue que les types prophétiques'.

Nous nous proposons de montrer qu'il y a des types dans la nature comme dans la Bible : les uns et les autres rentrent dans l'économie générale de la Providence. Dans la nature l'imparfait précède, prépare, annonce, figure le plus parfait, comme le mosaïsme précède , prépare , annonce la rédemption : le monde «a été créé par celui qui l'a racheté. Dieu s'est imposé , dans l'universalité de son action , des lois auxquelles il se montre toujours et partout fidèle.

Nous constaterons ensuite la croyance universelle des juifs et des chrétiens aux types de la Bible ; enfin nous montrerons leur économie dans l'histoire et les institutions de l'ancienne loi.

* L'exégèse distingue les types prophétiques des types simplement anagogiques, tropologiques ou moraux, suivant la nature de Vantitype auquel ils correspondent. L'antitype est l'objectif, la réalité dont les types sont les empreintes partielles, et vers laquelle ils progressent. Cet objectif, pour les types projîhétiques, est Jésus-Christ et son Église; pour ceux de la nature, le degré supérieur qu'ils représentent.