Title: Une Suite à l\'Histoire de Port-Royal, d\'après des documents inédits