Deligne-Lusztig_variety loading ...