[Double infection by Trichophyton rubrum and Trichophyton verrucosum].