Some strict higher homotopy groupoids: intuitions, examples, applications, prospects.