Title: Edouard Lucas and Primality Testing