Source: http://coq.informatique.free.fr/wa_files/outil_capture.pdf