Comment montrer en pratique qu'une application est (ou n'est pas) injective / surjective ? Cet article regroupe, en plus des rappels indispensables, divers exemples illustrant les principaux mécanismes de preuve associés à ces questions.