il y a un connecteur pour lecteur de disquette externe ?