Sources files of the coq.inria.fr website (static part)