Ekspresidenter, familie og venner tok farvel med Barbara Bush