Suppression de ports.py, inutile désormais (Michel)