Isabelle_08-Dec-2016 (3d4331b65861)

See also AFP/cea624c290dd