Résumé : I explain some ongoing work in exploring Weyl-type asymptotics for maximally hypoelliptic differential operators. The key technical issue is in proving that certain differential operators including Hörmander sums-of-squares have complex powers belonging to the pseudodifferential calculus developed by Androulidakis-Mohsen-Yuncken. | 
