Waiting Time Distribution in the Italian High Frequency Stock Market