Source: http://www.lirmm.fr/~dony/notesCours/creflect.s.pdf