Source: http://enseignerpartager.free.fr/documents/sequence/vampire.pdf