doc/manual/manual-contact_detector.tex