Définitionsanthracolithe