prof. Lech Gardocki, pierwszy prezes Sądu Najwyższego