Choosability of P 5-free graphs ∗