The first written records of Christians in France date from the 2nd century when Irenaeus detailed the deaths of ninety-year-old bishop Saint Pothinus of Lugdunum (Lyon) and other martyrs of the 177 AD persecution in Lyon. In 496 Remigius baptized King Clovis I, who therefore converted from paganism to Catholicism. In 800, Pope Leo III crowned Charlemagne Emperor of the Holy Roman Empire, forming the political and religious foundations of Christendom in Europe and establishing in earnest the French government's long historical association with the Catholic Church. In reaction, the French Revolution (1789–1790) was followed by heavy persecution of the Catholic Church. Since the beginning of the 20th century, "Laïcité", absolute neutrality of the state with respect to religious doctrine, is the official policy of the French Republic.