Tournoi de tennis de Washington (ATP 1972)