A 2-group is a verticalization of the notion of group.2-Group