Un Traité priscillianiste de comput pascal — Pierre David