abstract: In a first part, we translate Bismut way of Malliavin Calculus in semi-group theory in order to state an hypoellipticity results for diffusion semi-groups. In the second part, we translate our probabilistic proofs of Varadhan estimates, lower bound, in semi-group theory, by using translation of Malliavin Calculus of Bismut type in semi-group theory.