Categories and Lambda-calculi (M1 ENS Ulm / ENS Paris-Saclay)