The eigenfunctions of classically chaotic systems