#!/bin/bash
cat /dev/stdin |grep maison