Introduction aux calculs des séquents