An exact correspondence between a typed pi-calculus and polarised proof-nets