Villedo (Villedot), Michel, architecte des b√Ętiments du roi