dockerfile pour ptools (debian base)