def dico_add(*dicos):
    """ dictionnaries addition, with (shallow) copy """
    if len(dicos) == 0:
        return {}
    res = dicos[0].__class__()
    for dico in dicos:
        res.update(dico)
    return res
