intro + typos + small precisions