Dictionnaire de Trévoux/6e édition, 1771/CORALINE
CORALINE. s. f. Coralina. Plante marine qui croît sur les rochers dans le fond de la mer, & qui est pierreuse comme le corail, mais infiniment plus petite, branchue, & composée de plus petites pièces attachées les unes aux autres ; c’est sur-tout par ces espèces d’articulations qu’on peut la distinguer des autres plantes qui lui sont congénères. Elle n’a guère plus de deux pouces de hauteur. Elle est verdâtre, blanchâtre, ou purpurine. Elle a une odeur de marée, & est d’un goût salé. On se sert en Médecine de la coraline, pour faire mourir les vers des enfans. Il y a plusieurs espèces de coraline : on les prenoit autrefois pour de la mousse de mer. Elle croît sur les rochers de la mer, sur les coquilles des poissons & sur le corail même, d’où vient le nom de coraline.
Coraline est aussi le nom que l’on donne au Levant à une chaloupe légère, pour la pêche du corail.