Qu’est-ce à dire ? Un corps lourd est un corps doué d’une telle forme substantielle qu’il se meut, de lui-même, vers un point mathématique, le centre de l’Univers, toutes les fois qu’il n’en est pas empêché ; et pour qu’il en soit empêché, il faut qu’il trouve au-dessous de lui soit un support solide, soit un fluide plus lourd que lui ; un fluide moins lourd n’empêcherait pas son mouvement, car le plus lourd tend à se placer au-dessous du moins lourd. Un corps léger est de même un corps dont la forme substantielle est telle que, de lui-même, il se meut en s’écartant du centre du Monde.
Si les corps sont doués de telles formes substantielles, c’est que chacun d’eux tend à occuper son lieu naturel, lieu d’autant plus rapproché du centre du Monde que le corps est plus riche en éléments lourds, d’autant plus éloigné de ce point que le mixte est plus imprégné d’éléments légers. La situation de chaque élément en son lieu naturel réaliserait dans le monde un ordre où chaque élément aurait atteint la perfection de sa forme ; si donc la forme substantielle de tout élément et de tout mixte a été douée de l’une de ces qualités que l’on nomme gravité ou légèreté, c’est afin que l’ordre du Monde retourne par un mouvement naturel à sa perfection toutes les fois qu’un mouvement violent l’a momentanément troublé. C’est, en particulier, cette tendance de tout grave vers son lieu naturel, vers le centre de l’univers, qui explique la rotondité de la terre, la sphéricité parfaite de la surface des mers ; Aristote, déjà, en a ébauché une démonstration mathématique qu’Adraste, que Pline l’Ancien, que Théon de Smyrne, que Simplicius, que saint Tho-
