Cerin une lagune tropicale au temps des dinosaures (CNRS u.a., 1985)